Using System Interfaces for Failure Propagation Modeling and Analysis

XXX XXX XX XXX. In this paper we propose a novel approach for safety analysis based on system interface models, which are shared for both system and safety engineering. By extending interaction models on the system interface level with failure modes as well as relevant portions of the physical system to be controlled, automated support can be provided for much of the failure analysis. We particularly focus on fault modeling and on how to compute minimal cut sets. In addition, we explore state space reconstruction strategy and bounded searching technique to reduce the number of states that need to be analyzed, which will remarkably improve the efficiency of cut sets searching algorithm.